(message_with_string): Error if STRING is not a string.
authorRichard M. Stallman <rms@gnu.org>
Mon, 3 Jun 2002 22:44:31 +0000 (22:44 +0000)
committerRichard M. Stallman <rms@gnu.org>
Mon, 3 Jun 2002 22:44:31 +0000 (22:44 +0000)
commita37b836ee60543353f4f58d12e0d195263c93459
tree462d98a5f6b3257b27e5faad252f41693f2cc2b4
parent55561a9c67986caaa2102622200587f56ee9dd70
(message_with_string): Error if STRING is not a string.
src/xdisp.c